PittsburghV1, France, Analysis, bibRecord, 000129

Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice

Identifieur interne : 000129 ( France/Analysis ); précédent : 000128; suivant : 000130

Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice

Auteurs : Iliano Cervesato [Qatar] ; Kaustuv Chaudhuri [France]

Source :

RBID : Hal:hal-01222747
Url:

https://hal.inria.fr/hal-01222747

DOI: 10.4204/EPTCS.185

Affiliations:

France, Qatar

Links toward previous steps (curation, corpus...)

to stream Hal, to step Corpus: 000479
to stream Hal, to step Curation: 000479
to stream Hal, to step Checkpoint: 000148
to stream Main, to step Merge: 000187
to stream Main, to step Curation: 000187
to stream Main, to step Exploration: 000187
to stream France, to step Extraction: 000129

Links to Exploration step

Hal:hal-01222747

Le document en format XML

<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice</title>
<author><name sortKey="Cervesato, Iliano" sort="Cervesato, Iliano" uniqKey="Cervesato I" first="Iliano" last="Cervesato">Iliano Cervesato</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-50182" status="VALID">          <orgName>Carnegie Mellon University in Qatar</orgName>
          <desc>            <address>              <addrLine>c/o Qatar Foundation P.O. Box 24866 Doha, Qatar</addrLine>
              <country key="QA"></country>
            </address>
            <ref type="url">http://www.qatar.cmu.edu/</ref>
          </desc>
          <listRelation>            <relation active="#struct-67135" type="direct"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-67135" type="direct"><org type="institution" xml:id="struct-67135" status="VALID">          <orgName>Carnegie Mellon University [Pittsburgh]</orgName>
          <orgName type="acronym">CMU</orgName>
          <desc>            <address>              <addrLine>5000 Forbes Ave,  Pittsburgh, PA 15213</addrLine>
              <country key="US"></country>
            </address>
            <ref type="url">http://www.cmu.edu/</ref>
          </desc>
        </org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>Qatar</country>
</affiliation>
</author>
<author><name sortKey="Chaudhuri, Kaustuv" sort="Chaudhuri, Kaustuv" uniqKey="Chaudhuri K" first="Kaustuv" last="Chaudhuri">Kaustuv Chaudhuri</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-56052" status="VALID">          <idno type="RNSR">200718374W</idno>
          <orgName>Proof search and reasoning with logic specifications</orgName>
          <orgName type="acronym">PARSIFAL</orgName>
          <desc>            <address>              <country key="FR"></country>
            </address>
            <ref type="url">http://www.inria.fr/equipes/parsifal</ref>
          </desc>
          <listRelation>            <relation active="#struct-2071" type="direct"></relation>
            <relation active="#struct-300340" type="direct"></relation>
            <relation name="UMR7161" active="#struct-441569" type="direct"></relation>
            <relation active="#struct-118511" type="direct"></relation>
            <relation active="#struct-300009" type="indirect"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-2071" type="direct"><org type="laboratory" xml:id="struct-2071" status="VALID">          <orgName>Laboratoire d'informatique de l'École polytechnique [Palaiseau]</orgName>
          <orgName type="acronym">LIX</orgName>
          <desc>            <address>              <addrLine>Route de Saclay 91128 PALAISEAU CEDEX</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.lix.polytechnique.fr/</ref>
          </desc>
          <listRelation>            <relation active="#struct-300340" type="direct"></relation>
            <relation name="UMR7161" active="#struct-441569" type="direct"></relation>
          </listRelation>
        </org>
</tutelle>
<tutelle active="#struct-300340" type="direct"><org type="institution" xml:id="struct-300340" status="VALID">          <orgName>Polytechnique - X</orgName>
          <desc>            <address>              <addrLine>École polytechnique, 91128 Palaiseau Cedex, FRANCE</addrLine>
              <country key="FR"></country>
            </address>
          </desc>
        </org>
</tutelle>
<tutelle name="UMR7161" active="#struct-441569" type="direct"><org type="institution" xml:id="struct-441569" status="VALID">          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>            <address>              <country key="FR"></country>
            </address>
            <ref type="url">http://www.cnrs.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-118511" type="direct"><org type="laboratory" xml:id="struct-118511" status="VALID">          <idno type="RNSR">200818248E</idno>
          <orgName>Inria Saclay - Ile de France</orgName>
          <desc>            <address>              <addrLine>1 rue Honoré d'Estienne d'OrvesBâtiment Alan TuringCampus de l'École Polytechnique91120 Palaiseau</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.inria.fr/centre/saclay</ref>
          </desc>
          <listRelation>            <relation active="#struct-300009" type="direct"></relation>
          </listRelation>
        </org>
</tutelle>
<tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">HAL</idno>
<idno type="RBID">Hal:hal-01222747</idno>
<idno type="halId">hal-01222747</idno>
<idno type="halUri">https://hal.inria.fr/hal-01222747</idno>
<idno type="url">https://hal.inria.fr/hal-01222747</idno>
<idno type="doi">10.4204/EPTCS.185</idno>
<date when="2015-07-27">2015-07-27</date>
<idno type="wicri:Area/Hal/Corpus">000479</idno>
<idno type="wicri:Area/Hal/Curation">000479</idno>
<idno type="wicri:Area/Hal/Checkpoint">000148</idno>
<idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">000148</idno>
<idno type="wicri:Area/Main/Merge">000187</idno>
<idno type="wicri:Area/Main/Curation">000187</idno>
<idno type="wicri:Area/Main/Exploration">000187</idno>
<idno type="wicri:Area/France/Extraction">000129</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice</title>
<author><name sortKey="Cervesato, Iliano" sort="Cervesato, Iliano" uniqKey="Cervesato I" first="Iliano" last="Cervesato">Iliano Cervesato</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-50182" status="VALID">          <orgName>Carnegie Mellon University in Qatar</orgName>
          <desc>            <address>              <addrLine>c/o Qatar Foundation P.O. Box 24866 Doha, Qatar</addrLine>
              <country key="QA"></country>
            </address>
            <ref type="url">http://www.qatar.cmu.edu/</ref>
          </desc>
          <listRelation>            <relation active="#struct-67135" type="direct"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-67135" type="direct"><org type="institution" xml:id="struct-67135" status="VALID">          <orgName>Carnegie Mellon University [Pittsburgh]</orgName>
          <orgName type="acronym">CMU</orgName>
          <desc>            <address>              <addrLine>5000 Forbes Ave,  Pittsburgh, PA 15213</addrLine>
              <country key="US"></country>
            </address>
            <ref type="url">http://www.cmu.edu/</ref>
          </desc>
        </org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>Qatar</country>
</affiliation>
</author>
<author><name sortKey="Chaudhuri, Kaustuv" sort="Chaudhuri, Kaustuv" uniqKey="Chaudhuri K" first="Kaustuv" last="Chaudhuri">Kaustuv Chaudhuri</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-56052" status="VALID">          <idno type="RNSR">200718374W</idno>
          <orgName>Proof search and reasoning with logic specifications</orgName>
          <orgName type="acronym">PARSIFAL</orgName>
          <desc>            <address>              <country key="FR"></country>
            </address>
            <ref type="url">http://www.inria.fr/equipes/parsifal</ref>
          </desc>
          <listRelation>            <relation active="#struct-2071" type="direct"></relation>
            <relation active="#struct-300340" type="direct"></relation>
            <relation name="UMR7161" active="#struct-441569" type="direct"></relation>
            <relation active="#struct-118511" type="direct"></relation>
            <relation active="#struct-300009" type="indirect"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-2071" type="direct"><org type="laboratory" xml:id="struct-2071" status="VALID">          <orgName>Laboratoire d'informatique de l'École polytechnique [Palaiseau]</orgName>
          <orgName type="acronym">LIX</orgName>
          <desc>            <address>              <addrLine>Route de Saclay 91128 PALAISEAU CEDEX</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.lix.polytechnique.fr/</ref>
          </desc>
          <listRelation>            <relation active="#struct-300340" type="direct"></relation>
            <relation name="UMR7161" active="#struct-441569" type="direct"></relation>
          </listRelation>
        </org>
</tutelle>
<tutelle active="#struct-300340" type="direct"><org type="institution" xml:id="struct-300340" status="VALID">          <orgName>Polytechnique - X</orgName>
          <desc>            <address>              <addrLine>École polytechnique, 91128 Palaiseau Cedex, FRANCE</addrLine>
              <country key="FR"></country>
            </address>
          </desc>
        </org>
</tutelle>
<tutelle name="UMR7161" active="#struct-441569" type="direct"><org type="institution" xml:id="struct-441569" status="VALID">          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>            <address>              <country key="FR"></country>
            </address>
            <ref type="url">http://www.cnrs.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-118511" type="direct"><org type="laboratory" xml:id="struct-118511" status="VALID">          <idno type="RNSR">200818248E</idno>
          <orgName>Inria Saclay - Ile de France</orgName>
          <desc>            <address>              <addrLine>1 rue Honoré d'Estienne d'OrvesBâtiment Alan TuringCampus de l'École Polytechnique91120 Palaiseau</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.inria.fr/centre/saclay</ref>
          </desc>
          <listRelation>            <relation active="#struct-300009" type="direct"></relation>
          </listRelation>
        </org>
</tutelle>
<tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</author>
</analytic>
<idno type="DOI">10.4204/EPTCS.185</idno>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass></textClass>
</profileDesc>
</teiHeader>
</TEI>
<affiliations><list><country><li>France</li>
<li>Qatar</li>
</country>
</list>
<tree><country name="Qatar"><noRegion><name sortKey="Cervesato, Iliano" sort="Cervesato, Iliano" uniqKey="Cervesato I" first="Iliano" last="Cervesato">Iliano Cervesato</name>
</noRegion>
</country>
<country name="France"><noRegion><name sortKey="Chaudhuri, Kaustuv" sort="Chaudhuri, Kaustuv" uniqKey="Chaudhuri K" first="Kaustuv" last="Chaudhuri">Kaustuv Chaudhuri</name>
</noRegion>
</country>
</tree>
</affiliations>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Amérique/explor/PittsburghV1/Data/France/Analysis

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000129 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/France/Analysis/biblio.hfd -nk 000129 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Amérique
   |area=    PittsburghV1
   |flux=    France
   |étape=   Analysis
   |type=    RBID
   |clé=     Hal:hal-01222747
   |texte=   Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice
}}

This area was generated with Dilib version V0.6.38.
Data generation: Fri Jun 18 17:37:45 2021. Site generation: Fri Jun 18 18:15:47 2021

	Serveur d'exploration sur Pittsburgh
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.

Serveur d'exploration sur Pittsburgh

Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice

Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice

Source :

Links toward previous steps (curation, corpus...)

Links to Exploration step

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri